理论计算机科学电子笔记174（2007）69-77www.elsevier.com/locate/entcsCoq语言中的名词性推理技术（延伸摘要）布赖恩·艾德米尔宾夕法尼亚大学计算机与信息科学系关闭PA，USA摘要我们探索一个公理化的名义上的方法...
理论计算机科学电子笔记174（2007）69-77www.elsevier.com/locate/entcsCoq语言中的名词性推理技术（延伸摘要）布赖恩·艾德米尔宾夕法尼亚大学计算机与信息科学系关闭PA，USA摘要我们探索一个公理化的名义上的方法...